Simplified Subsumption